From cb4baf13a2a271208f20c87457242292ff3a0aba Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Thu, 17 Jan 2008 14:39:45 +0000 Subject: [PATCH] minios: Add noreturn attribute to do_exit Signed-off-by: Samuel Thibault --- extras/mini-os/include/ia64/os.h | 2 +- extras/mini-os/include/x86/os.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/extras/mini-os/include/ia64/os.h b/extras/mini-os/include/ia64/os.h index 4e9f595f38..51e365e8a6 100644 --- a/extras/mini-os/include/ia64/os.h +++ b/extras/mini-os/include/ia64/os.h @@ -44,7 +44,7 @@ typedef uint64_t caddr_t; /* rr7/kernel memory address. */ #include "mm.h" -void do_exit(void); +void do_exit(void) __attribute__((noreturn)); void arch_init(start_info_t *si); /* in common.c */ void arch_print_info(void); /* in common.c */ diff --git a/extras/mini-os/include/x86/os.h b/extras/mini-os/include/x86/os.h index 80f5586a49..7a4433b3f9 100644 --- a/extras/mini-os/include/x86/os.h +++ b/extras/mini-os/include/x86/os.h @@ -21,7 +21,7 @@ #define USED __attribute__ ((used)) -extern void do_exit(void); +extern void do_exit(void) __attribute__((noreturn)); #define BUG do_exit #endif -- 2.30.2